有色Petri网相关论文
区域控制器（Zone Controller,ZC）通过与联锁系统（Computer Interlocking,CI）、车载控制器（Vehicle On Board Controller,VOBC）和列车自动......
多模列控系统的模式切换时延是影响城市轨道交通列车运行效率的重要因素，基于车车通信的列控系统是下一代城市轨道交通列控系统的主......
在工业互联网背景下,工业控制网络对各要素之间的互连互通提出了更高的要求,工业以太网协议标准不统一、彼此之间不能兼容的问题日......
区域控制器（Zone Controller，ZC）通过与联锁系统（Computer Interlocking，CI）、车载控制器（Vehicle On Board Controller，VOBC）和列车自动监......
随着人们生活节奏的不断加快,在日常生活中,对于日常的饮食,不再仅仅局限于去公司餐厅、学校食堂等地方就餐,外卖行业的兴起,为人......
可信构造是指采用自身可证的全流程方法在系统开发过程中逐步形成系统的可信属性。Tc CBTC（Train-centric CBTC,以车载为核心CBTC）系......
流控制传输协议(Stream Control Transmission Protocol,SCTP)是由Internet工程任务组在2000年提出的一个可靠的传输层协议-Reques......
随着列车重载运输的高速发展,国家对货物列车的安全运行提出了更高的要求。针对货物列车的特点,本文提出了一种利用无线传感器对重......
Web服务(Web Service)是松散耦合的、可复用的软件模块,封装了离散的功能;服务在Internet上发布后,能够通过标准的Internet协议在......
信息系统随着社会经济的发展在企业发展和竞争中的重要性不断提高,激烈的竞争导致信息系统结构不断调整,采用工作流技术的工作流管......
学位
随着Internet技术的发展，网络的安全性问题越显重要，各种网络安全技术也成为研究的热点。入侵检测作为安全防卫系统的最后一道防线，还......
随着计算机网络的发展,针对网络的攻击日趋多样化,出现了从零碎而简单的攻击形式发展而来的复杂攻击行为。在网络安全实践中,传统......
操作系统是计算机资源的直接管理者,位于整个信息系统的最底层,其安全问题是信息安全的核心问题。SELinux是Linux系统的安全增强模......
任务调度是网格计算中最基本、最关键，也是最具有挑战性的问题之一，是影响网格计算执行效率的一个关键因素。因此，调度算法的设计要精......
本文首先分析了网格工作流的研究现状和发展动态。随着网格工作流技术的蓬勃发展，在网格工作流方面的研究主要包括两个方面的内容，一......
WAP事务协议(WTP)作为WAP协议体系结构中的一个重要部分,向会话层提供基于请求响应的分布式事务服务。由于WAP论坛将WAP协议规范以......
无线传感器网络作为一种新兴的技术，已成为当前国际上备受关注的研究热点，被认为是对21世纪产生巨大影响力的技术之一。路由协议的研......
本文介绍了井下机车调度系统的的发展现状、发展趋势。介绍了建模工具Petri网的来源以及特点，同时对Petri网的理论进行了系统的介绍......
多智能体系统(Multi-Agent System，MAS)体系结构及协作机制是多智能体理论研究的核心与热点问题，作为一种新兴的研究方法，基于协进化......
随着网格技术的快速发展,其应用领域越来越广泛,网格应用规模越来越大、也越来越复杂。复杂的网格应用存在各种各样的约束和资源竞......
有色Petri网是在经典的Petri网基础上发展起来的一种高级网系统,是一种适于描述异步并发系统的图形工具和数学工具。它以简洁的图......
当今，随着网络技术的迅猛发展和广泛应用，网络已经成为人们共享信息的主要方式，人们可以随时、随地以各种方式提供和接受信息。然而，网......
网格计算环境下,由于资源的异构性、动态性、自治性以及网格任务的多样性,任务调度一直就是网格计算的重要环节。因此,任务调度算......
有色Petri网作为一类特殊的Petri网模型语言,特别适用于并发、同步和资源共享起主要作用的系统。它结合了一般Petri网过程互操作特......
渗透测试是指借助于值得信任的组织试图对信息系统中的漏洞进行探测和开发的安全实践活动。渗透测试已经从不同系统开发阶段的应用......
随着计算机网络的迅速发展,Internet已经成为人们日常生活中必不可缺少的部分,网络安全也越来越成为人们关注的焦点。如何迅速有效......
随着互联网技术与应用的迅速发展，Web服务作为一种新兴的Web应用模式及远程访问标准，很好地解决了异构平台上的数据和应用的整合与共......
Web服务组合的目标是通过简单服务的组合形成以满足需求的新服务,这个目标的完成是通过相对简单的Web服务交互的设计。但Web服务组......
车载中心化的列控系统是面向我国西部地区低密度线路的新型列控系统。为满足该列控系统由车载设备自主实现进路控制的需求,基于车......
目前,可编程控制器(Programmable Controller,PLC)已在工业控制领域中得到广泛运用。PLC实现的运动控制系统可以采用多种语言,其中......
分区交接是高速磁悬浮运行控制系统的重要功能,列车分区交接模块是磁浮列车安全运行的重要保证,是高速磁浮运行控制系统中的关键模......
近年来全自动运行系统(fully automatic operation,FAO)逐步在各大城市得到应用,已经成为现代城市轨道交通的主要发展趋势。然而,......
我国高速铁路列车自动运行(Automatic Train Operation,ATO)系统正在快速发展,随着设备智能化程度的提升,人因失误已经成为导致人-......
近年来,物联网技术正以前所未有的速度在全世界范围内的各行各业得到产业化应用。其中RFID技术作为物联网领域最关键的技术之一,已......
为了对海量的在役飞机构型数据进行有效的组织和管理,提出一种在役飞机维修构型数据管理的混合式产品结构,以此为核心带动在役阶段......
计算机联锁是实现进路控制,保证行车安全,提高运输效率的重要技术手段。联锁软件作为计算机联锁系统的关键软件,研究联锁软件的测......
现代信息系统日趋大型化、复杂化，使人们不得不借助模型来完成系统设计与分析。Petri网是信息系统的一种建模工具，适合描述异步并发......
半导体是信息产业的物质基础。科学家在不断创新半导体晶圆制造技术和工艺的同时，也渴望这些新技术可以更快更多地转化为产品，造福人......
进入21世纪以来,人类已进入一个智能化的时代。智能化的应用使得产品对技术的要求越来越高,导致了产品结构和开发过程的复杂化。传......
随着3C技术(计算机技术、通信技术、控制技术)的不断发展和计算机联锁技术的成熟,铁路行业越来越多地使用计算机联锁来替代电气集......
随着计算机技术、通信技术和网络技术的飞速发展,计算机系统的安全性日益受到重视,访问控制作为一种重要的安全技术,已经渗透到操......
摘要：随着国家城镇化步伐的加速推进和城市人口数量的激增,城市轨道交通以其安全快捷、节能环保且不受路面影响等优势,越来越多地应......
摘要：我国建设的时速300km/h以上的客运专线及高速铁路均采用CTCS-3级列车运行控制系统作为统一技术平台。列车运行控制技术是高速......
Petri网理论是用Petri网作为一个系统的模型--系统的数学表示,然后对这个Petri网进行分析,可以揭示出被模拟的系统在结构和动态行......
铁路行业近年来发展迅速，随着列车速度的提升，列车的安全隐患问题变的越来越重要。如何在提升列车速度的同时又保证列车的行车安全，是......
